Algorithmic analysis of array-accessing programs

机译：阵列访问程序的算法分析

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Rajeev Alur; Pavol Cerný; Scott Weinstein;
展开▼
作者单位

展开▼
年度 2009
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Algorithmic Analysis of Array-Accessing Programs [J] . RAJEEV ALUR, PAVOL CERNY, SCOTT WEINSTEIN ACM transactions on computational logic . 2012,第3期

机译：数组访问程序的算法分析
2. COMPARISON OF NONLINEAR ANALYSIS ALGORITHMS FOR TWO TYPICAL ASPHALT PAVEMENT ANALYSIS PROGRAMS [J] . Jiang Xin, Yao Kang, Gu Hanyan, The Baltic journal of road and bridge engineering . 2020,第4期

机译：两种典型沥青路面分析计划的非线性分析算法的比较
3. DEVELOPMENT OF ALGORITHMS AND PROGRAMS FOR CONSTRUCTING REFERENCE CYLINDERS FOR ANALYSIS OF DEVIATIONS FROM CYLINDRICITY [J] . Markov B. N., Melikova O. N., Ped S. E. Measurement techniques . 2019,第7期

机译：构造用于分析圆柱度偏差的参考圆柱的算法和程序的开发
4. Algorithmic Analysis of Array-Accessing Programs [C] . Rajeev Alur, Pavol Cerny, Scott Weinstein International Workshop on Computer Science Logic . 2009

机译：数组访问程序的算法分析
5. Empirical analysis of algorithms for block-angular linear programs. [D] . Dang, Jiarui. 2007

机译：块角线性程序算法的经验分析。
6. Analysis of Parallel Algorithms on SMP Node and Cluster of Workstations Using Parallel Programming Models with New Tile-based Method for Large Biological Datasets [O] . D. D. Shrimankar, S. R. Sathe 2016

机译：大型生物数据集基于新图块的并行编程模型对SMP节点和工作站集群的并行算法进行分析
7. Algorithmic Analysis of Array-Accessing Programs [O] . Alur, Rajeev, Cerný, Pavol, Weinstein, Scott 2008

机译：数组访问程序的算法分析

Algorithmic analysis of array-accessing programs

著录项

引文网络

相似文献

相关主题

期刊订阅